A Survey of Formal Languages for Contracts
نویسنده
چکیده
In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms.
منابع مشابه
On the Formal Specification of Business Contracts and Regulatory Compliance
Today’s business climate requires business processes to meet many compliance regulations, such as Sarbanes-Oxley (SOX) and to adhere to business partner contracts. In this paper, we report a comparative analysis between Linear Temporal Logic and Formal Contract logical languages, which have been successfully utilized in the literature as the formal basis of compliance requirements to enable the...
متن کاملA Software Change Contracts
Software errors often originate from incorrect changes, including incorrect program fixes, incorrect feature updates and so on. Capturing the intended program behavior explicitly via contracts is thus an attractive proposition. In our recent work, we had espoused the notion of “change contracts” to express the intended program behavior changes across program versions. Change contracts differ fr...
متن کاملCopenhagen Ph . D . Dissertation Tom Hvitved Contract Formalisation and Modular Implementation of Domain - Specific Languages
This dissertation encompasses the topics contract formalisation, domainspecific languages implementation, and enterprise resource planning systems. The dissertation is a collection of six independent chapters, two of which are published papers, two of which are extended versions of published papers, and two of which are unpublished manuscripts. Our contributions to the field of contract formali...
متن کاملTowards a Formal Language for Privacy Options
Describing complex ideas requires clear and concise languages. Many domains have developed their specific languages for describing problem instances independently from solutions and thus making a reference model of the domain available to solution developers. We contribute to the zoo of domain-specific languages within the privacy area with a language for describing data disclosure and usage co...
متن کاملDeterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011